ISOGA: A System for Geographical Reachability Analysis
نویسندگان
چکیده
In this paper, we present a web-based system, termed ISOGA, that uses isochrones to perform geographical reachability analysis. An isochrone in a spatial network covers all space points from where a query point is reachable within given time constraints. The core of the system builds an efficient algorithm for the computation of isochrones in multimodal spatial networks. By joining isochrones with other databases, various kinds of geospatial reachability analysis can be performed, such as how well is a city covered by public services or where to look for an apartment at moderate prices that is close to the working place. ISOGA adopts a service-oriented three-tier architecture and uses technologies that are compliant with OGC standards. We describe several application scenarios in urban and extra-urban areas, which show the applicability of the tool.
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملEnvironmental Planning for Wind Power Plant Site Selection using a Fuzzy PROMETHEE-Based Outranking Method in Geographical Information System
Selection of suitable sites for wind power plants is one of the most important decision on wind resources development. Site selection for the establishment of large wind power plants requires spatial evaluation taking technical, economic, and environmental considerations into account. This study has applied a combination of PROMETHEE and Fuzzy AHP methods in a geographical information system en...
متن کاملOn the analysis of nonlinear nilpotent switched systems using the Hall-Sussmann system
We consider an open problem on the stability of nonlinear nilpotent switched systems posed by Daniel Liberzon. Partial solutions to this problem were obtained as corollaries of global nice reachability results for nilpotent control systems. The global structure is crucial in establishing stability. We show that nice reachability analysis may be reduced to the reachability analysis of a specific...
متن کاملA Purpose-Directed Reachability Analysis Approach
The paper presents a new approach for reachability analysis. This is based on analysis purposes that are established by an analyser expert. The analysis purposes address system specification parts that may be ‘suspected’ of presenting non-reachable states and thus the analysis is especially focused on. Such information about ‘suspicious’ specification parts to be checked is based on special kno...
متن کاملReachability of linear hybrid systems described by the general model
The reachability of standard and positive hybrid linear systems described by the general model is addressed. Necessary and sufficient conditions for the reachability of the standard general model are established. Sufficient condition is given for the reachability of positive hybrid system described by the general model. The considerations are illustrated by numerical examples.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013